digraph Targ{
t1 -> t2 [label="b"]
t1 -> t4 [label="w"]

t2 -> t3 [label="t"]
t2 -> t1 [label="a"]

t3 -> t2 [label="e"]

t4 -> t5 [label="c"]

t5 -> t1 [label="d"]
[initial={t1}]
[final={t1, t3}]
}
